Описано методи комп'ютерної алгебри та технології символьних перетворень, що використовуються для розробки математичних систем учбового призначення. Розглянуто причини обмеженого використання професійних систем комп'ютерної алгебри у школах, висунуто системні, функціональні та технологічні вимоги до даних систем. Створено математичну систему учбового призначення Tep й обговорено її відмінності від існуючих професійних математичних систем. Розглянуто формальні методи специфікації програм і логіко-алгебричні специфікації. Описано загальні відомості про систему алгебричного програмування APS і наведено сучасну стандартизацію типів даних. Запропоновано математичний метод побудови багатосортних алгебр у термінах структур розширень, гомоморфізмів і спадкування багатосортних алгебр. Описано основні системні, функціональні та технологічні вимоги до технології реалізації математичних алгоритмів таких систем. Обгрунтовано вибір APS як системи прототипування та реалізації. Зазначено її основні відмінності від інших систем програмування та висвітлено процес реалізації математичних систем учбового призначення. Розглянуто математичну модель об'єкта "алгебрична задача" та модель логічного виводу у такій системі. Наведено алгоритми розв'язання задач генерації та перевірки розв'язання певного кроку алгебричної задачі.

  Скачати повний текст